/*
 * To change this license header, choose License Headers in Project Properties.
 * To change this template file, choose Tools | Templates
 * and open the template in the editor.
 */
package Session;

import Entity.ContratAuto;
import java.util.ArrayList;
import java.util.List;
import javax.ejb.Local;

/**
 *
 * @author N
 */
@Local
public interface ContratAutoSessionLocal {

    public boolean souscriptionAuto(String immatriculation, String modele, int categorie,
            int prix, boolean bris, boolean vol, boolean toutRisque,
            int franchise, String login);

    public int[] calculDevis(String annee, String puissance, boolean collection, boolean moto,
            boolean bris, boolean vol, boolean toutRisque);

    public List<ContratAuto> recupContratAutoAValider();

    public void traitementContratAutoRedac(String numRedacteur, String newEtat, String numero);
    
    public boolean supprimer(String numero);

    public List<ContratAuto> recupContratAutoByNumClient(String numClient);

    public boolean testExistance(String numeroContrat);

    public ContratAuto getContrat(String numcontrat);

}
